$\forall$$k$:Knd. islocal($k$) $\Rightarrow$ act($k$) $\in$ Id